Bakery's algorithm pdf